- unification rule
- 统一规则
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
unification rule
Look at other dictionaries:
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Unification Wars (browser game) — Unification Wars [ [http://pc.ign.com/objects/817/817134.html IGN: Space Federation Unification Wars ] ] is a free browser based massively multiplayer online game under the Space Federation [ [http://www.dmoz.org/Games/Video Games/Strategy/Turn… … Wikipedia
Unification of Karnataka — The Unification of Karnataka refers to the formation of the Indian state of Karnataka, then called as Mysore State , in 1956 when several Indian states were created by redrawing borders based on linguistic demographics. The formation of the state … Wikipedia
Unification Church political views — Politics in Divine Principle , the central book of teachings of the Unification Church (UC) include the assertion that monarchies and dictatorships are outdated modes of political structurewhich will be superseded by increasingly God centered… … Wikipedia
Unification — In mathematical logic, in particular as applied to computer science, a unification of two terms is a join (in the lattice sense) with respect to a specialisation order. That is, we suppose a preorder on a set of terms, for which t * ≤ t means… … Wikipedia
Unification War — The Unification War is a major fictional event in the backstory of Joss Whedon s television show, Firefly and its motion picture sequel, Serenity .Set 500 years in the future, humans have colonized and terraformed a planetary system of unknown… … Wikipedia
Unification of Germany — The unification of Germany took place on January 18, 1871, when Prussian Chief Minister Otto von Bismarck managed to unify a number of independent German states into one nation, and thus create the German Empire, from which all of the states… … Wikipedia
Unification Church — a religious sect that combines elements of Protestantism and Buddhism, founded by the Rev. Sun Myung Moon in 1954: many of its members live in communes sponsored by the sect. * * * officially Holy Spirit Association for the Unification of World… … Universalium
Unification of Norway — This article is part of a series on Scandinavia Geography Mountains Peninsula Viking Age Old Norse Viking Thing (assembl … Wikipedia
Unification of Nepal — Early Rulers= The first record of the word Nepal is found in ancient Indian annals such as the puranas from the 4th century A.D where an area known as Newal or sometimes as Newar is mentioned, referring to what is now known as the Kathmandu… … Wikipedia
Unification of Saudi Arabia — Infobox Military Conflict conflict= Unification of Saudi Arabia caption=present saudi state (Saudi Arabia) date=1902 – 1925 place=Arabian Peninsula casus=The need for unification of the Arabian Peninsula as a one single nation. result=End of the… … Wikipedia
